Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 }

B grade: { }

C grade: { 5 }

F grade: { }

2.1.3 Maple

A grade: { 2, 3, 4, 9, 10, 11, 12 }

B grade: { 1, 5, 6, 7, 8, 13, 14, 15, 16, 17, 18, 19, 20 }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 9, 10, 11, 12 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 13, 14, 15, 16, 17, 18, 19, 20 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 9, 10, 11, 12 }

B grade: { 5, 6, 7, 13, 14, 15, 16, 17 }

C grade: { }

F grade: { 8, 18, 19, 20 }

2.1.6 Sympy

A grade: { 3, 9, 10, 11 }

B grade: { 12 }

C grade: { }

F grade: { 1, 2, 4, 5, 6, 7, 8, 13, 14, 15, 16, 17, 18, 19, 20 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 9, 10, 11, 12 }

B grade: { 7, 15, 17 }

C grade: { }

F grade: { 6, 8, 13, 14, 16, 18, 19, 20 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 }

C grade: { }

F grade: { }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 239 344 0 491 0 153 197
normalized size 1 1.00 1.76 2.53 0.00 3.61 0.00 1.12 1.45
time (sec) N/A 0.232 0.568 0.089 0.000 1.420 0.000 0.330 2.406




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 131 141 0 258 0 76 226
normalized size 1 1.00 1.72 1.86 0.00 3.39 0.00 1.00 2.97
time (sec) N/A 0.130 0.271 0.078 0.000 2.261 0.000 0.377 0.187




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 39 36 0 126 99 35 47
normalized size 1 1.00 1.11 1.03 0.00 3.60 2.83 1.00 1.34
time (sec) N/A 0.046 0.034 0.063 0.000 1.767 2.954 0.332 2.416




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 129 129 126 223 0 470 0 130 1003
normalized size 1 1.00 0.98 1.73 0.00 3.64 0.00 1.01 7.78
time (sec) N/A 0.172 0.199 0.115 0.000 3.289 0.000 0.275 4.971




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 205 205 392 546 0 1991 0 378 2742
normalized size 1 1.00 1.91 2.66 0.00 9.71 0.00 1.84 13.38
time (sec) N/A 0.465 2.326 0.139 0.000 18.117 0.000 0.345 18.733




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 388 386 374 2608 0 5045 0 0 46613
normalized size 1 0.99 0.96 6.72 0.00 13.00 0.00 0.00 120.14
time (sec) N/A 11.013 0.892 0.152 0.000 3.579 0.000 0.000 13.770




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 260 260 238 1157 0 971 0 6564 16390
normalized size 1 1.00 0.92 4.45 0.00 3.73 0.00 25.25 63.04
time (sec) N/A 1.284 0.632 0.108 0.000 1.114 0.000 177.349 13.282




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F F(-1) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 326 326 335 2816 0 0 0 0 39229
normalized size 1 1.00 1.03 8.64 0.00 0.00 0.00 0.00 120.33
time (sec) N/A 3.340 0.973 0.150 0.000 0.000 0.000 0.000 13.532




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 21 21 19 16 15 17 15 17 9
normalized size 1 1.00 0.90 0.76 0.71 0.81 0.71 0.81 0.43
time (sec) N/A 0.024 0.027 0.082 0.335 0.582 0.202 0.298 0.163




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 29 16 15 19 15 19 9
normalized size 1 1.00 1.26 0.70 0.65 0.83 0.65 0.83 0.39
time (sec) N/A 0.028 0.014 0.083 0.322 0.485 0.183 0.419 0.105




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 18 18 15 19 26 15 15
normalized size 1 1.00 0.95 0.95 0.79 1.00 1.37 0.79 0.79
time (sec) N/A 0.036 0.026 0.070 0.854 0.758 0.270 0.599 0.055




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 34 31 28 38 116 28 30
normalized size 1 1.00 0.94 0.86 0.78 1.06 3.22 0.78 0.83
time (sec) N/A 0.033 0.077 0.078 0.898 1.119 1.020 0.484 0.061




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 326 326 356 3427 0 8167 0 0 45364
normalized size 1 1.00 1.09 10.51 0.00 25.05 0.00 0.00 139.15
time (sec) N/A 4.062 1.132 0.122 0.000 10.034 0.000 0.000 14.692




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 299 299 309 2503 0 6529 0 0 29362
normalized size 1 1.00 1.03 8.37 0.00 21.84 0.00 0.00 98.20
time (sec) N/A 6.758 0.890 0.112 0.000 3.216 0.000 0.000 12.680




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 255 255 264 1948 0 4983 0 9028 20133
normalized size 1 1.00 1.04 7.64 0.00 19.54 0.00 35.40 78.95
time (sec) N/A 1.262 0.589 0.105 0.000 2.719 0.000 165.933 14.558




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 230 230 227 1264 0 3513 0 0 5488
normalized size 1 1.00 0.99 5.50 0.00 15.27 0.00 0.00 23.86
time (sec) N/A 0.546 0.570 0.099 0.000 1.961 0.000 0.000 11.720




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 223 223 198 1262 0 3493 0 2954 5514
normalized size 1 1.00 0.89 5.66 0.00 15.66 0.00 13.25 24.73
time (sec) N/A 0.350 0.412 0.096 0.000 2.279 0.000 91.057 11.923




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F F(-1) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 281 1957 0 0 0 0 20126
normalized size 1 1.00 1.15 7.99 0.00 0.00 0.00 0.00 82.15
time (sec) N/A 0.772 0.666 0.136 0.000 0.000 0.000 0.000 13.548




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F F(-1) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 275 275 348 2530 0 0 0 0 29417
normalized size 1 1.00 1.27 9.20 0.00 0.00 0.00 0.00 106.97
time (sec) N/A 1.189 1.176 0.154 0.000 0.000 0.000 0.000 13.183




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F F(-1) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 334 334 446 3476 0 0 0 0 45255
normalized size 1 1.00 1.34 10.41 0.00 0.00 0.00 0.00 135.49
time (sec) N/A 4.674 3.074 0.158 0.000 0.000 0.000 0.000 14.815










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [5] had the largest ratio of [.4737]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 7 6 1.00 19 0.316







2 A 7 6 1.00 19 0.316







3 A 3 3 1.00 17 0.176







4 A 9 8 1.00 17 0.471







5 A 10 9 1.00 19 0.474







6 A 10 7 0.99 19 0.368







7 A 7 4 1.00 19 0.210







8 A 9 5 1.00 19 0.263







9 A 4 3 1.00 13 0.231







10 A 4 3 1.00 15 0.200







11 A 3 3 1.00 15 0.200







12 A 4 4 1.00 15 0.267







13 A 10 7 1.00 19 0.368







14 A 8 5 1.00 19 0.263







15 A 7 4 1.00 19 0.210







16 A 6 3 1.00 17 0.176







17 A 5 3 1.00 14 0.214







18 A 8 5 1.00 17 0.294







19 A 10 7 1.00 19 0.368







20 A 12 8 1.00 19 0.421